x86/tboot: Use an integer_param for "tboot="
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 14 Mar 2014 08:48:39 +0000 (09:48 +0100)
committerJan Beulich <jbeulich@suse.com>
Fri, 14 Mar 2014 08:48:39 +0000 (09:48 +0100)
commit3c106a97220cdf87b1da0ccc035a0ed6f1eaf638
tree014c390964ae2563cbafc21dae31280d5bf81c4c
parent4ef5d4c3aa77d8ebb843dcffad4a6ea2a8f01495
x86/tboot: Use an integer_param for "tboot="

rather than using a string param and manually parsing it.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/tboot.c